Disjunction In Mathematical Logic